Compositional Design of Analog Systems Using Contracts

Compositional Design of Analog Systems Using Contracts by Xuening Sun Doctor of Philosophy in Electrical Engineeing and Computer Sciences University of California, Berkeley Professor Alberto Sangiovanni-Vincentelli, Chair This work addresses the problem of assembling analog integrated systems out of pre-designed IP components. Efficient system-level design is increasingly relying on hierarchical design-space exploration, as well as compositional methods, to shorten time-to-market, leverage design re-use, and achieve optimal performances. However, in analog electronic systems, circuit behaviors are so tightly dependent on their interface conditions that accurate system performance estimations based on characterizations of individual stand-alone circuits is a hard task. Since there is no general solution to this problem, analog system integration has traditionally used ad-hoc solutions heavily dependent on designers’ experience and detailed knowledge of the target application. A system composition method is proposed that build upon the analog platform-based design (APBD) methodology by exploiting assume-guarantee reasoning, contracts, to enforce correctby-construction system-level composition. Contracts intuitively capture the thought process of a designer, who aims at guaranteeing circuit performance only under specific assumptions (e.g. interface loading or dynamic range). Contracts can be broadly classified into two categories: horizontal contracts between components of the same abstraction level and vertical contracts between a system at level l + 1 and the components that make up the system from level l. Horizontal contracts can be used to ensure that correct component behavior by constraining the external environment settings to be within the assumed range. Vertical contracts capture assumptions that system-level designers introduce by leveraging knowledge about the system architecture, which is not available at the component-level. Contracts can be naturally incorporated into the APBD design flow to ensure accurate design space explorations and correct design implementations. The methodology is applied to several case studies to demonstrate the value of our approach. First, an ultra-wide band receiver front-end is composed using horizontal contracts to preserve the correct behavior of pre-designed IP components in composition and to allow design decisions to be reliably made at a higher abstraction level, both key factors to improve designer productivity. In another case study for composition of an analog feedback systems, the Sallen-Key cell, I show the application of both horizontal and vertical contracts so that the performance of a composition of circuit blocks not only preserves component behavior, but also satisfies system specifications